1![DSLs in Haskell Ryan Newton
Back-end DSLs in Haskell Ryan Newton
Back-end](https://www.pdfsearch.io/img/93750832f53e222a6ab4b448a4f2694b.jpg) | Add to Reading ListSource URL: vjovanov.github.ioLanguage: English - Date: 2016-08-07 07:28:53
|
---|
2![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/b5eb095319d72f41b13470027fe9f4be.jpg) | Add to Reading ListSource URL: www.acm.orgLanguage: English - Date: 2016-06-08 12:49:34
|
---|
3![Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes](https://www.pdfsearch.io/img/4ab064a4ef4df74328e002981989dd75.jpg) | Add to Reading ListSource URL: www.cs.uu.nlLanguage: English - Date: 2011-06-24 04:56:27
|
---|
4![Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine](https://www.pdfsearch.io/img/98745de736b60866350fb5036af45667.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-29 21:38:44
|
---|
5![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/7ce8466ed428fd8c5487eb9c12c3db02.jpg) | Add to Reading ListSource URL: src.acm.orgLanguage: English - Date: 2016-06-08 14:54:18
|
---|
6![Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if](https://www.pdfsearch.io/img/22067c55365afa6bdff81f4bc405d9b3.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
7![System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg](https://www.pdfsearch.io/img/da0d7de783dc249a19abf5d581ce74d7.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2013-08-06 17:30:04
|
---|
8![Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu](https://www.pdfsearch.io/img/3e878ef9a237c8a27d969c2c31f3e253.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2016-01-08 10:06:08
|
---|
9![HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1](https://www.pdfsearch.io/img/6e5c112f826beb2220ec85cf6733cc17.jpg) | Add to Reading ListSource URL: www.scs.stanford.eduLanguage: English - Date: 2014-06-12 03:57:46
|
---|
10![A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University](https://www.pdfsearch.io/img/7d4da60cce04cac18ce8c3e796353ae1.jpg) | Add to Reading ListSource URL: www.haskell.orgLanguage: English - Date: 2015-02-01 22:32:43
|
---|